Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
741	metaSMT: A Unified Interface to SMT-LIB2 Heinz Riener1 Mathias Soeken1,2 Clemens Werther1 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-07-29 13:06:58 Electronic design automation Formal methods Logic in computer science Constraint programming Satisfiability Modulo Theories Solver Boolean satisfiability problem Timeout Transmission Control Protocol Theoretical computer science Applied mathematics NP-complete problems
742	Dynamic Distributed Optimization for Planning and Scheduling Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 10:21:08 Applied mathematics Mathematics Constraint programming Combinatorial optimization Optimization problem Constraint optimization Dynamic programming Mathematical optimization Operations research Theoretical computer science
743	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler Group of Computer Architecture, University of Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-02-05 05:31:31 Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Valuation Integer factorization Theoretical computer science Applied mathematics Formal methods
744	The Complexity of Reasoning with Global Constraints Christian Bessiere LIRMM, CNRS/U. Montpellier Montpellier, France [removed] Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-09-13 04:55:34 Applied mathematics Local consistency Constraint satisfaction problem Constraint satisfaction NP-complete Computational complexity theory NP P versus NP problem Complexity of constraint satisfaction Theoretical computer science Constraint programming Complexity classes
745	826 NARC, SELF ; NARC, PRODUCT[removed]disjoint tasks DESCRIPTION Add to Reading List Source URL: www.emn.fr Language: English - Date: 2010-12-06 07:56:27 Graph Graph theory Constraint programming
746	Journal of Arti ial Intelligen e Resear h[removed]391 Submitted 08/03; published[removed]Dual Modelling of Permutation and Inje tion Problems brahim4 .u .ie Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-07-29 02:05:01 Convex optimization Abstract algebra Combinatorics Permutation Linear programming Variable Quasigroup Assignment FO Mathematics Algebra Constraint programming
747	Planning in Models that Combine Memory with Predictive Representations of State Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 01:12:22 Stochastic control Partially observable Markov decision process Markov decision process Markov model Dynamical system Reinforcement learning Pruning Linear programming Constraint algorithm Statistics Dynamic programming Markov processes
748	Journal of Artificial Intelligence Research[removed] Submitted 08/09; published[removed]Interactive Cost Configuration Over Decision Diagrams Henrik Reif Andersen Add to Reading List Source URL: www.jair.org Language: English - Date: 2010-02-27 15:21:10 Diagrams Theoretical computer science Binary decision diagram Model checking Directed acyclic graph Constraint satisfaction problem Static single assignment form Optimization problem Applied mathematics Boolean algebra Constraint programming Mathematics
749	IBM SOFTWARE GROUP Powering your decision making Solution Brief Add to Reading List Source URL: public.dhe.ibm.com Language: English - Date: 2010-05-07 02:31:17 ILOG Computing Artificial intelligence Technology Business rule management system IBM Risk management information systems Corticon Rule engines Data modeling Constraint programming
750	Filtering algorithms for the multiset ordering constraint Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-01-14 01:44:49 Constraint satisfaction problem Constraint inference Constructible universe Constraint satisfaction Constraint logic programming AC-3 algorithm Constraint programming Computing Local consistency

UPDATE